$\forall$$A$:Type, ${\it eq}$:EqDecider($A$), $B$:Top, $f$:$a$:$A$ fp$\rightarrow$ Top. $f$ $\parallel$